Church-Rosser Systems, Codes with Bounded Synchronization Delay and Local Rees Extensions
نویسندگان
چکیده
What is the common link, if there is any, between Church-Rosser systems, prefix codes with bounded synchronization delay, and local Rees extensions? The first obvious answer is that each of these notions relates to topics of interest for WORDS: Church-Rosser systems are certain rewriting systems over words, codes are given by sets of words which form a basis of a free submonoid in the free monoid of all words (over a given alphabet) and local Rees extensions provide structural insight into regular languages over words. So, it seems to be a legitimate title for an extended abstract presented at the conference WORDS 2017. However, this work is more ambitious, it outlines some less obvious but much more interesting link between these topics. This link is based on a structure theory of finite monoids with varieties of groups and the concept of local divisors playing a prominent role. Parts of this work appeared in a similar form in conference proceedings [6, 11] where proofs and further material can be found.
منابع مشابه
A survey on the local divisor technique
Local divisors allow a powerful induction scheme on the size of a monoid. We survey this technique by giving several examples of this proof method. These applications include linear temporal logic, rational expressions with Kleene stars restricted to prefix codes with bounded synchronization delay, Church-Rosser congruential languages, and Simon’s Factorization Forest Theorem. We also introduce...
متن کاملCharacterizing Classes of Regular Languages Using Prefix Codes of Bounded Synchronization Delay
In this paper we continue a classical work of Schützenberger on codes with bounded synchronization delay. He was interested to characterize those regular languages where the groups in the syntactic monoid belong to a variety H. He allowed operations on the language side which are union, intersection, concatenation and modified Kleene-star involving a mapping of a prefix code of bounded synchron...
متن کاملLinear matrix inequality approach for synchronization of chaotic fuzzy cellular neural networks with discrete and unbounded distributed delays based on sampled-data control
In this paper, linear matrix inequality (LMI) approach for synchronization of chaotic fuzzy cellular neural networks (FCNNs) with discrete and unbounded distributed delays based on sampled-data controlis investigated. Lyapunov-Krasovskii functional combining with the input delay approach as well as the free-weighting matrix approach are employed to derive several sufficient criteria in terms of...
متن کاملFinite Time Mix Synchronization of Delay Fractional-Order Chaotic Systems
Chaos synchronization of coupled fractional order differential equation is receiving increasing attention because of its potential applications in secure communications and control processing. The aim of this paper is synchronization between two identical or different delay fractional-order chaotic systems in finite time. At first, the predictor-corrector method is used to obtain the solutions ...
متن کاملLeast Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus
We study the Church-Rosser property—which is also known as confluence—in term rewriting and λ-calculus. Given a system R and a peak t ∗← s →∗ t′ in R, we are interested in the length of the reductions in the smallest corresponding valley t →∗ s′ ∗← t′ as a function vsR(m,n) of the size m of s and the maximum length n of the reductions in the peak. For confluent term rewriting systems (TRSs), we...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017